Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Florent Jacquemard And NotSarre (Land)

List of bibliographic references

Number of relevant bibliographic references: 30.
Ident.Authors (with country if any)Title
001140 Florent Jacquemard [France] ; Michaël Rusinowitch [France]Unranked tree rewriting and effective closures of languages
001260 Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001499 Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001850 Florent Jacquemard [France] ; Michaël Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001E13 Florent Jacquemard [France] ; Étienne Lozes [France, Allemagne] ; Ralf Treinen [France] ; Jules Villard [France, Royaume-Uni]Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
002972 Ryma Abassi [Tunisie] ; Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Sihem Guemara El Fatmi [Tunisie]XML Access Control: from XACML to Annotated Schemas
002B58 Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite-Based Verification of XML Updates
003C46 Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite based Verification of XML Updates
004144 Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree automata with equality constraints modulo equational theories
004412 Florent Jacquemard [France] ; Michael Rusinowitch [France]Closure of Hedge-Automata Languages by Hedge Rewriting
005355 Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree Automata with Equality Constraints Modulo Equational Theories
005586 Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree automata with equality constraints modulo equational theories
005F15 Florent Jacquemard ; Michael Rusinowitch ; Laurent VigneronTree Automata with Equality Constraints Modulo Equational Theories
006456 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Tree Automata with Equality Constraints Modulo Equational Theories
009938 Harald Ganzinger ; Florent Jacquemard [France] ; Margus VeanesRigid reachability, the non-symmetric form of rigid E-unification
009A22 Harald Ganzinger ; Florent Jacquemard ; Margus VeanesRigid reachability, the non-symmetric form of rigid E-unification
009B07 Florent Jacquemard ; Michael Rusinowitch ; Laurent VigneronCompiling and Verifying Security Protocols
009F16 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Compiling and Verifying Security Protocols
00A251 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Compiling and Verifying Security Protocols
00A252 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent VigneronCompiling and Verifying Security Protocols
00A351 Véronique Cortier ; Harald Ganzinger ; Florent Jacquemard [France] ; Margus VeanesDecidable fragments of simultaneous rigid reachability
00A580 Florent Jacquemard ; Michael Rusinowitch ; Laurent VigneronCompiling and narrowing cryptographic protocols
00A793 Veronique Cortier ; Harald Ganzinger ; Florent Jacquemard ; Margus VeanesDecidable fragments of simultaneous rigid reachability
00A814 Hubert Comon ; Florent JacquemardGround Reducibility is EXPTIME-complete
00AC96 Hubert Comon ; Florent Jacquemard [France]Ground Reducibility is EXPTIME-complete
00AD39 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Compiling and narrowing cryptographic protocols
00AF67 Florent Jacquemard ; Christoph Meyer ; Christoph WeidenbachUnification in Extensions of Shallow Equational Theories
00B192 Harald Ganzinger ; Florent Jacquemard ; Margus VeanesRigid Reachability
00B551 Florent Jacquemard [France] ; Christoph Meyer ; Christoph WeidenbachUnification in Extensions of Shallow Equational Theories
00B586 Harald Ganzinger ; Florent Jacquemard [France] ; Margus VeanesRigid Reachability
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022